Nuprl Definition : w-act
11,40
postcript
pdf
act(
e
) == a(
e
.1;
e
.2)
latex
clarification:
w-act(
w
;
e
) == w-a(
w
; (
e
.1); (
e
.2))
latex
Definitions
t
.2
,
t
.1
,
a(
i
;
t
)
FDL editor aliases
w-act
origin
